package org.cos.verification.automata;

import java.util.Enumeration;

public class Matcher {

}


      